バージョン: DAI 7.2

Model Preview

Model Previewでは、レビューやテストのためのモデルの読み取り専用バージョンを表示します。

アプリのテストを行ったり、テスト結果を見たりする際に、さまざまな部分がどのように接続されているかを理解するためにモデルを再訪することがあります。モデルを表示するには、Designer > Modelsに移動し、選択したモデルのViewをクリックします。

新しいユーザーの場合は、まず新しいモデルを作成して、作業するものを用意することをお勧めします。

重要

Model Previewを初めて見る場合は、ビジュアル比較を見て、Model EditingとModel Previewの違いを確認することをお勧めします。

Model Previewページの上部には、現在のモデルに関連する便利なリンクがあります：

Models：全モデルリストへのリンク。
Results：テスト結果へのリンク。
Coverage：カバレッジ。
Test Cases：テストケース。
Export：現在のモデルをjsonとしてダウンロード。
Edit：現在のモデルを編集。
Run：このモデルをライブ実行でテスト。

Model preview top menu

Workspace

Workspaceは、モデルの視覚的表現を表示します。状態やアクションをクリックすると、Inspectorに選択した要素のプロパティが表示されます。空のスペースをクリックしてドラッグするか、ワークスペース上でホバリングしてズームすることができます。

Model workspace

Element Properties

Workspaceで要素を選択すると、Element Propertiesタブが自動的に有効になります。InspectorとWorkspaceの間の境界線をドラッグして、Inspectorの幅を変更できます。

Model preview right pane

State Properties

状態を選択すると、以下のプロパティが表示されます：

State Name
Description：状態を説明する自由テキスト。
Type：Start、Normal、Cleanup、またはExceptionのいずれか。
Tags：モデルをカテゴライズしてバグ探しを助けるためのタグ。

Model preview state properties

_Run_セクションでは、状態のコンテキスト内で定義されているスニペットやパラメータが表示されます。状態に関連付けられたスニペットは、DAIエンジンが特定の状態に到達したときにスニペット内で定義されたスクリプトを実行します。状態内で定義されているパラメータは、状態と状態内で定義されている子アクションで利用可能です。

Model preview state run actions

Action Properties

アクションを選択すると、以下のプロパティが表示されます：

Action Name
Description：アクションを説明する自由テキスト。
Type：Normal、Sequent、またはPrevious。
Weight：探索的テスト中にエンジンがアクションを選択する確率。
Action Limit：状態内でアクションが選択される回数。
Reset action limit：状態に入る際にアクション限界をリセット。
Tags：バグ探しを助けるためのカテゴリー。
Connection Destination(s)：接続されている状態や連続アクション。

Model preview action properties

Run Actions

アクションを実行する際には、以下の3つのステージがあります。各ステージは以下の通りです。

Model preview action run actions

Pre-Run

Pre-conditions

これらは、エンジンがアクションを実行する前に満たされなければならないルールです。任意のアクションには複数の事前条件があります。これには、親状態とグローバルスコープからのパラメータを含む、スコープ内の任意のパラメータが含まれます。各事前条件には次のフィールドが含まれます：

Parameter：パラメータの名前。各パラメータのスコープも括弧内に表示されます。
Type：パラメータのデータタイプ。
Operation：比較に使用されるオペレーター。
Value：オペレーターと共に使用されるパラメータの値。

Set and Generate Parameter Values

これらは、エンジンがアクションスニペットを実行する前にパラメータ値を定義するルールです。各アクションに対して複数のセットおよび生成ルールがあります。各ルールには次のフィールドが含まれます：

Parameter：パラメータの名前。各パラメータのスコープも括弧に表示されます。
Type：パラメータのデータタイプ。
Operation：setまたはgenerateのいずれかになります。
Value：オペレーターと共に使用されるパラメータの値。

Model preview action pre-run settings

Run

SnippetsとParametersを参照してください。

Model preview action run settings

Post-Run

Checksは、スニペットの実行後に発生し、特定の条件のパラメータ値を確認するために行われます。そうでない場合、アクションは失敗します。各チェックには次のフィールドが含まれます：

Parameter：パラメータの名前。
Condition：条件のオペレーター。
Value：条件の値。
Message：条件がチェックに失敗したときのエラーメッセージ。

Model preview action post-run settings

Global Properties

Global Propertiesタブはいつでも選択できます。

Model preview global properties

Global Parameters

グローバルパラメータは、モデル内のすべての状態およびアクションで利用可能です。Parametersを参照してください。

Tag Definitions

タグ定義を使用すると、明示的な値を持つタグを作成し、モデルの部分をカテゴリ化してバグ探しを改善できます。例として、特定の機能をタイプやそれを作成した開発チームで分類することがあります。テストの実行時に見つかった失敗は、エンジンにどの状態とアクションをヒットさせるかを決定するアルゴリズムにより多くの確率を追加するように影響を与えます。

各タグ定義には名前と、コンマで区切られた値のリストがあります。

Snippets

状態またはアクションに対して複数のスニペットを定義できます。これらはリストされた順序で実行されます。各スニペットには次のフィールドが表示されます：

Name：関連付けられたスクリプトファイル名。
Disabled：実行中にスニペットを無効にすることができます。
Input：スクリプトに渡される入力パラメータのリスト。
Output：スクリプトから返されるパラメータのリスト。

Parameters

グローバルまたは状態またはアクションで定義された各パラメータには、次のフィールドが含まれます：

Name：パラメータの名前。
Type：パラメータのデータタイプ。
Generation：パラメータ値がランダムに生成されるかどうか。
Initial Value：生成されないパラメータに対して、その初期値を設定するために非生成パラメータと共に動作します。

Comparison

このプレビューでは、モデル要素が新しい外観を持っており、Model Editorでの外観とは異なります。以下の表は、新しい要素と既存の要素のプレビュー前後を比較してリストしています：

要素	以前	現在
Initial State
Action with snippet attached
Action without snippet attached
Global Action - グローバルアクションの作成方法については、 Global Actionsを参照してください。
Action with submodel attached: 注：サブモデルは他のアクションタイプよりも優先されます。アクションがサブモデルを使用する場合、そのアクションはスニペットを使用する場合や退出する場合でも常にサブモデルタイプとして表示されます。
Action with submodel attached:
Previous Action
Sequential Action
State without snippet attached
State with snippet attached